منابع مشابه
Extended Si ˆ311‰ defects
We perform total-energy calculations based on the tight-binding Hamiltonian scheme ~i! to study the structural properties and energetics of the extended $311% defects depending upon their dimensions and interstitial concentrations and ~ii! to find possible mechanisms of interstitial capture by and release from the $311% defects. The generalized orbital-based linear-scaling method implemented on...
متن کاملImaging Extended Defects by TEM
In this invited talk, I will suggest where we are in our use of TEM for imaging extended defects and guess where we are going. Since the topic of this Symposium concerns advances in imaging and quantification of strain, local atomic structure, and the chemistry of extended defects, the present talk will emphasize the history and development of diffraction contrast methods for the analysis of ex...
متن کاملA pr 1 99 7 Charged excitons in doped extended Hubbard model systems
Charged excitons in doped extended Hubbard model systems. Abstract We show that the charge transfer excitons in a Hubbard model system including nearest neighbor Coulomb interactions effectively attain some charge in doped systems and become visible in photoelectron and inverse photoelec-tron spectroscopies. This shows that the description of a doped system by an extended Hubbard model differs ...
متن کامل1 A pr 1 99 7 Charged excitons in doped extended Hubbard model systems
Charged excitons in doped extended Hubbard model systems. Abstract We show that the charge transfer excitons in a Hubbard model system including nearest neighbor Coulomb interactions effectively attain some charge in doped systems and become visible in photoelectron and inverse photoelec-tron spectroscopies. This shows that the description of a doped system by an extended Hubbard model differs ...
متن کاملLocal Model Checking for Real-Time Systems (Extended Abstract)
We present a local algorithm for model checking in a real-time extension of the modal mu-calculus. As such, the whole state space of the real-time system under investigation need not be explored, but rather only that portion necessary to determine the truthhood of the logical formula. To the best of our knowledge, this is the rst local algorithm for the veriication of real-time systems to appea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review Letters
سال: 2000
ISSN: 0031-9007,1079-7114
DOI: 10.1103/physrevlett.84.1942